Total Books: 1 - 1 /1
Rewriting, Computation and Proof
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
Lee mas
Total Books: 1 - 1 /1
